perm filename NOTES.P1[LSP,JRA] blob
sn#115466 filedate 1974-08-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002
C00004 ENDMK
C⊗;
TO THE PATIENT READER:
This is only the first half of current manuscript. An old table of contents
showing the second half
second half is attached and if you wish to comment on the first half, I will
generate the second half.
I claim the material should be presentable to upper-division undergraduates
with the possible exception of mathematical semantics. I feel LISP is a unique
programming language, being an exceptional vehicle with which to introduce
most of the "interesting" areas of Computer Science: compilers, interpreters,
grubby details of language design; theoretical areas of correctness and provability,
and the general questions of semantics; and of course, the applications of AI.
It is this belief which I attempt to convey in this manuscript. It is NOT
a programming manual!!
The pretty XGP format belies the fact that these notes are still being
extensively modified. In particular, the sections on λ-calculus and
denotational semantics are incomplete and bug-ridden. However the intuitions
should be understandable.